Nuprl Definition : es-state-after-without
11,40
postcript
pdf
state after
e
\\
x
(
y
) == if
y
=
x
then
else (
y
after
e
) fi
latex
clarification:
es-state-after-without(
es
;
e
;
x
)(
y
) == if
y
=
x
then
else es-after(
es
;
y
;
e
) fi
latex
Definitions
if
b
then
t
else
f
fi
,
a
=
b
,
,
(
x
after
e
)
FDL editor aliases
es-state-after-without
origin
else (y after e) fi
else es-after(es; y; e) fi else (y after e) fi
else es-after(es; y; e) fi